Nuprl Definition : d-single-sframe
0,22
postcript
pdf
@
i
: only
L
sends on (
l
with
tg
)(
j
)
== if eqof(IdDeq)(
j
,
i
)
only
L
sends on (
l
with
tg
) else fi
latex
Definitions
x
.
A
(
x
)
,
if
b
t
else
f
fi
,
f
(
a
)
,
eqof(
d
)
,
IdDeq
,
only
L
sends on (
l
with
tg
)
,
FDL editor aliases
d-single-sframe
origin
only L sends on (l with tg) else fi only L sends on (l with tg) else fi 
x.A(x) t else f fi